Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Emeritus |
|---|---|
| Research fields | Theoretical Computer Science |
| Keywords | Compiler-Generierung, Partielle Evaluierung, Programmanalyse, Komplexitätstheorie |
Current contact address
| Country | Denmark |
|---|---|
| City | Copenhagen |
| Institution | University of Copenhagen |
| Institute | Department of Computer Sciences (DIKU) |
| Homepage | http://www.diku.dk/hjemmesider/ansatte/neil/ |
Host during sponsorship
| Prof. Dr. Peter Thiemann | Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Freiburg |
|---|---|
| Prof. Dr. Andreas Podelski | Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Freiburg |
| Start of initial sponsorship | 01/07/2009 |
Programme(s)
| 2008 | Humboldt Research Award Programme |
|---|
Nominator's project description
| Professor Jones is an internationally leading researcher in computer science specializing in programming languages. His work combines theory and practice in topics such as compiler generation, program analysis, and computational complexity. Professor Jones is known in particular for partial evaluation, which bases a practical compilation technique on a theorem about Gödel's numbering of computable functions from 1943. In Germany, he intends to investigate the staging of semantic specifications and to further his work on automatic termination and complexity analysis. |